Skip to main content

Full text of "Treatise On Analysis Vol-Ii"

See other formats


For all x, y in A, the mapping V\-*(V* ng(x)\ng(y)) is a continuous
linear form on j/'g and so, by virtue of the isomorphism of ^C(S^) and j#'g,
there exists (13.1) a (complex) measure \jLXy}> on S^ such that

(       g(zx, y) - (Ug(z) * ng(z) \ ng(y)) = f  /(z) rf/1,,,00


for all 2- e A.

When OeS0, we have seen ( that the function z : /H->/(Z) is
zero at the point 0; consequently, if mXty is the measure induced on Sg by
HXty (13.1.8), we can write in all cases

(                        g(zx, y)

It is clear that the measures mXt y are bounded. Moreover, for given jc and y
in A, the measure mXty is the only bounded measure ra' on Sg such that
g(zx> y) = J z(%) dm'(%) for all z 6 A, because the functions z are dense

If the formula ( is true, then for all x, y, z in A we must have
g(zx, y) = f   2(x)x(x)$(x) dmg(i). Comparing this with (, what we


shall in fact prove is the existence of a measure mg on S^ such that

(                                mXiy=x$'mg
for all jc, y in A (cf. (13.1.5)).

If we have constructed such a measure, then for all functions F e
we shall have

(                   F  mx>y = (fltf )  mg = (tf) - mF ,

where we have put mF = F  IH,, which is a bounded measure (13.14.4). We
shall begin by constructing a linear mapping Fh-wF of ^Tc(Sff) into M(S0),
satisfying the equality

(                     F-m^.^-mp

for all x, y in A, and such that mF ^ 0 whenever F S| 0. Having achieved this,
the measure mg will be simply the linear form FH*WIF(!) (13.3.1).n each case, Sg is separable,